TempDB:时态数据管理系统

为了适应时态数据库发展需求,针对目前时态数据库技术实现则相对滞后现状,设计和实现了时态数据处理原型系统TempDB. TempDB采用中间件的架构实现,使用具有代表性的时态查询语言--ATSQL2,将时态操作语言转换成与之语义等价的、标准的SQL语言,然后在后台DBMS上执行,实现了基本的时态数据管理功能. TempDB总结应用了相关理论知识,同时也为时态数据库系统的产品化积累了经验.     

描述逻辑系统FLεN中概念的最小公共包含算法研究

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.     

复杂动力学模型参数优化问题的协同进化算法

复杂反应动力学建模中,系统参数的优化是需要解决的关键问题之一.该类优化问题具有多参数、非线性以及参数相关性强等特点.协同进化算法将多种群之间的协同作用以及种群内部的独立进化相结合,适合于求解该类问题.将改进的协同进化算法应用到化工氧化反应建模过程的系统参数优化问题中,避免了解决该类问题的传统优化算法中易陷入局部极值以及初值依赖性强的缺点,运用理论证明了该算法的有效性.测试结果表明,协同进化算法对于求解该类复杂参数优化问题是有效的.     

XML的面向对象语言特性

面向对象程序设计思想是现在程序设计的主流思想,它通过给程序中加入扩展语句,把函数＂封装＂进编程所必需的＂对象＂中,使得复杂的工作条理清晰、编写容易。有着广泛应用的XML也必包含这一思想。文中首先详细介绍了XML的起源与特点,接着对面向对象语言特性进行了简单的阐述：如抽象、封装、继承、多态性,最后通过XML实例与面向对象语言的特性相结合来着重分析XML的面向对象的语言特性。因此,通过使用面向对象程序设计的思想与方法,能够更加灵活方便地构造和设计XML。     

一种自适应的城市场景车用自组织网路由协议

针对城市场景车用白组织网VANET（Vehicular Ad Hoe Networks）的特性和车辆间通信时常中断的问题,在现有VANET路由协议的基础上,提出了一种改进的路由协议AAR。AAR基于实时交通流,能自适应选择路由,并能根据车辆的行驶速度、方向,对车辆位置进行精确预测。最后采用真实的城市道路场景,在NS2中进行了性能仿真,结果表明,与现有的VANET路由协议相比,性能有很大提高。     

IMS中一种快速的用户重注册过程

针对IMS(IP Multimedia Subsystem)中已注册用户的重注册过程,提出了一种改进的快速重注册方法.由于已注册用户的UE(User Equipment)已经记录归属地S-CSCF(Serving-Call Session Control Function)的地址信息,因此在重注册过程中,通过在REGISTER消息中携带S-CSCF的路由信息,让REGISTER消息直接从拜访地的P-CSCF(Proxy-Call Session Control Function)转发到归属地的S-CSCF,可以有效地减少重注册延时.分析结果显示,改进的快速重注册过程要优于标准重注册过程和已有的一些改进过程.同时,它对网络的改动较小,容易实现.     

基于Merkle树的移动平台文件完整性校验

移动平台的下载业务是除消息类业务外另一类重要的移动增值数据服务,对下载过程的有效管理和控制是该业务稳定运营的前提。下载数据的完整性是下载业务的核心内容。描述了移动平台下载业务内容完整性校验方案。提出了Merkle树在移动平台内容完整性校验上的实现策略,该策略通过缩短校验值在网络传输中的大小,来有效减少完整性校验的代价。理论分析与工程项目证明,该机制具有较高的安全连通性和较低的网络延迟。     

对一种身份认证协议的改进及其形式化分析①

基于口令的远程身份认证协议是目前认证协议研究的热点。2005年,Sung-Woon Lee等人提出了一个低开销的基于随机数的远程身份认证协议即Lee-Kim-Yoo协议,首先分析了此协议中所存在的安全性缺陷,随后构造了一个基于随机数和Hash函数,并使用智能卡的远程身份认证协议,最后用BAN逻辑对修改后的协议进行了形式化的分析,结果表明修改后的协议能够达到协议的安全目标。     

一种基于口令的防窃取私钥保护协议①

现代密码体制中,加密算法是公开的。因此数据安全取决于用户私钥的保护。目前彩的最为广泛的私钥保存方案是使用用户密码将私钥加密后保存在用户设备上,但是这种记法不能够抵抗攻击者在获取用户设备后,对其使用离线字典攻击。根据对一种现有的能够防窃取的用户设备与服务器联合签名的（S-RSA）协议的分析,提出一种新的基于口令的私钥保护（SS—RSA）协议,该协议通过用户设备与服务器联合对文件进行解密。能够有效的保护用户私钥的安全,并解决了S—RSA协议不能够抵抗拒绝服务攻击和用户票据取消后。用户私钥无法恢复的缺点。     

基于JMX的软件自动化测试模型①

简要分析了现在自动化软件测试系统的需求和JMX网络管理体系结构,在此基础上提出了使用JMX框架来构建的软件自动化测试模型的方法,最后结合JMX规范和实现方法,分析了基于JMX的软件自动化测试模型的优势。